翻訳と辞書
Words near each other
・ demo
・ demo mode
・ demo version
・ demodulate
・ demodulation
・ demon
・ demon internet ltd.
・ demorgan's theorem
・ denis howe
・ dennis ritchie
denotational semantics
・ denotational semantics language
・ department of defense
・ department of defense network
・ depeditate
・ dependability
・ dependable software
・ deployment descriptor
・ deprecated
・ depth-first search


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

denotational semantics : FOLDOC
denotational semantics
A technique for describing the meaning of programs in terms of mathematical functions on programs and program components. Programs are translated into functions about which properties can be proved using the standard mathematical theory of functions, and especially domain theory.
Compare axiomatic semantics, operational semantics, standard semantics.
(1996-08-21)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.